21. Coherent systems

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)

رده :
Q339
.
2
.
S35
2004

22. Coherent systems

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)

رده :
Q339
.
2
.
S35
2004

23. Conditionals and Modularity in General Logics

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات

رده :
BC199
.
C56
,
G32
2011

24. Content and modality

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Stalnaker, Robert. ; Modality (Logic) ; Logic. ; Language and languages ; Philosophy. ;

25. Deontic modality

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(

رده :
P
107
.
D46

26. Directions in relevant logic

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses

رده :
BC
199
.
M6
.
D57
1989

27. Directions in relevant logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(

رده :
BC
199
.
M6D57
1989

28. Displaying modal logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)

موضوع : Modality (Logic)

29. Epistemic modality /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Knowledge, Theory of,Modality (Logic)

رده :
BD161
.
E65
2011

30. Essays in the metaphysics of modality

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Modality )Logic(,، Metaphysics

رده :
B945
.
P553
M48
2003

31. First steps in modal logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Modality (Logic)

رده :
QA9
.
46
.
P67
1994

32. Forma y modalidad :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Modality (Logic),Logic, Symbolic and mathematical.,Modality (Logic)

رده :
BC135
.
G65
2000

33. Gentzen calculi for modal propositional logi

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Modality (Logic),Electronic books., local

34. Handbook of modal logic

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : Handbooks, manuals, etc ، Modality )Logic(

رده :
BC
199
.
M6H36
2007

35. Handbook of modal logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Modality (Logic), Handbooks, manuals, etc

رده :
BC199
.
M6
H36
2007

36. Intensional and higher-order modal logic: with applications to Montague semantics

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Intension )Logic(,، Modality )Logic(

رده :
BC
199
.
I5
G3

37. Intensional and higher-order modal logic : with applications to Montague semantics

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6
.
G35
1975

38. Intensional mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics

رده :
QA
9
.
46
.
I57
1985

39. Intensional mathematics

پدیدآورنده :

کتابخانه: (طهران)

موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-

رده :
QA
9
.
46
.
I57

40. Intensional mathematics

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Modality (Logic) ;